<?php

	function session_data($key)
	{
		return isset($_SESSION[$key]) ? $_SESSION[$key] : null;
	}  
	
	function set_session_data($key, $value)
	{
		$_SESSION[$key] = $value;
	}
	
?>